apps-$(CONFIG_APP_SOS) += sos
apps-$(CONFIG_APP_SOSH) += sosh
apps-$(CONFIG_APP_TTY_TEST) += tty_test

sosh: libsel4c libsel4 libsos

tty_test: libsel4c libsel4 libsos

sos: libsel4 libsel4elf libsel4c libsel4diteloader \
     libsel4cspace libsel4sync libserial libclock \
     liblwip libixp400_xscale_sw libixp_osal libnfs \
     libsos


